"""
pyi存根文件的作用：
     PEP484提供了临时性的一个模块（即存根文件），对一些目前注解没有明确定义的地方给出自己的补充，为了帮助用户进行类型检查。
     Python本身是动态语言，不像静态语言可以在编译的时候进行类型检查，所以484通过这种存根文件、注解这些东西可以辅助用户在编写代码时给出建议的类型提示，
     不仅可以用IDE更快速地进行开发，还能减少运行时的类型报错。
pyi文件可以自定义实现对模块中的相关类型进行检查，可以作为一个存根文件，比如我为blog的views.py中的Root类的初始化方法的形参y定义它的类型必须是整型,
那么当使用r = Root('1')的时候会报Expected type 'int', got 'str' instead的提示信息

"""


class Root(object):
    def __init__(self, y: int = ...) -> None: ...
